Quelques propositions

Quelques VOUZZAVEDIBISAR's des premiers bulletins

Sur quelques problèmes d'optimisation combinatoire

QUELQUES ASPECTS COMBINATOIRES DE LA RENORMALISATION par

Résumé. — La renormalisation en Théorie Quantique des Champs se laisse aborder de manière très élégante à l’aide d’une structure d’algèbre de Hopf sur les graphes de Feynman, décrite par A. Connes et D. Kreimer [7]. La quantité renormalisée est obtenue à l’aide d’une procédure récursive par rapport aux nombres de boucles du graphe, qui se généralise de manière immédiate à toute algèbre de Hopf ...

Hierarchical Propositions

The notion of a proposition plays a central role in the philosophy of mind (through the notion of a propositional attitude) and the philosophy of language (through the theory of speech acts). However, as we have known for a long time, it is subject to paradoxes. A natural response is to stratify propositions into some sort of hierarchy; and, ever since Russell proposed his ‘ramified theory of t...

Object Propositions

The presence of aliasing makes modular veri cation of objectoriented code di cult. If multiple clients depend on the properties of an object, one client may break a property that others depend on. We have developed a modular veri cation approach based on the novel abstraction of object propositions, which combine predicates and information about object aliasing. In our methodology, even if shar...